1. Eduction: Automated Logic
Author: Bible, Wolfgang, by Wolfgang Bible; translated by Monika Lekuse; Gerd Neugedauer
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Automatic Theorem Proving
Classification :
QA
76
.
9
.
B5
